Sound Manager 3.1 is now installed, but your machine must be restarted to make it available. Do you want to restart?